CBMC_GC_FLAGS += --bool fill --merge
include ../make_verifier.inc

